inductive step